DEF=test
EXT=test
TESTDIR=.
KOMPILE_BACKEND=llvm
KOMPILE_FLAGS+=--enable-search --syntax-module TEST
KRUN_FLAGS+=--search-final --no-pattern

include ../../../include/kframework/ktest.mak
